Static incorrectness diagnosis of CLP (FD)
- Författare
- Linköpings universitet Paweł Pietrzak
- (Paweł Pietrzak., Licentiatavhandling Linköping : Linköpings universitet, 1998)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköpings universitet | 1998 | Sverige, Linköping | v, 75 sidor. ill. |